∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🧩Constraint Solvers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
Gröbner Bases Explained: From Abstract Algebra to Real-World Optimization
news.ycombinator.com·2d·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
5 Maths Gems #193
resourceaholic.com·1d·
Discuss: www.resourceaholic.com
📐Mathematical Computing
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·5h·
Discuss: Hacker News
🎭Racket Modules
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·18h
🌱Minimal ML
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·4h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
Discovering JavaScript's Hidden Secrets: Understanding Numerical Algorithms.
dev.to·1d·
Discuss: DEV
📐Mathematical Computing
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Calculus
Flag this post
Stochastic computing
scottlocklin.wordpress.com·5h
🖥️Lisp Machines
Flag this post
New: Online Master’s Program in Applied Ontology
dailynous.com·1d
🔗Category Theory
Flag this post
Dolphins, GM Chris Grier agree to part ways amid Miami's ugly start to season
nytimes.com·7h
🐍lisp
Flag this post
This tool is basically NotebookLM for math problems
xda-developers.com·21h
🎯Constraint Solving
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2h·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·8h·
Discuss: Lobsters, Hacker News
🗂️Type Indexing
Flag this post
SQL for Data Analysis Tutorial
mygreatlearning.com·22h
📈Query Optimization
Flag this post
C++ is my first programming language
reddit.com·21h·
Discuss: r/cpp
🏗️Minimal Compilers
Flag this post
I Use Python, but I’m Learning R and the Tidyverse for Data Analysis Too
howtogeek.com·9h
🌱Minimal Schemes
Flag this post
✅ Day 56 of My Data Analytics Journey — Deep Dive into Pandas 🐼✨
github.com·1d·
Discuss: DEV
📊DataFrame Types
Flag this post